A Scheme for Implementing Ambient Calculus over an ARC Framework
نویسندگان
چکیده
Ambient Calculus can model mobile agents across administrative domains, which may be distributed over the Internet. In this paper, we discuss a scheme for supporting ambients over Anonymous Remote Computing (ARC) framework for C# over .NET. The service oriented framework supports parallel and distributed computations in presence of mobility. A scheme for representing ambients in C# is discussed and a scheme for implementation over the ARC framework is proposed.
منابع مشابه
Design and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملSynthesis and Characterization of Zn3 (BTC)2 Nanoporous Sorbent and its Application for Hydrogen Storage at Ambient Temperature
Metal organic frameworks (MOFs) are considered an interesting option for hydrogen storage. These materials show an exceptional H2 uptake. Here, Zn3(BTC)2 as MOF was synthesized with a solvothermal method. The phase stability and microstructure of the Zn3(BTC)2 was characterized in terms of their properties and structures, using a number of analytical techniques including FT-IR, XRD, SEM, BET ...
متن کاملAn Efficient Curvelet Framework for Denoising Images
Wiener filter suppresses noise efficiently. However, it makes the out image blurred. Curvelet preserves the edges of natural images perfectly, but, it produces visual distortion artifacts and fuzzy edges to the restored image, especially in homogeneous regions of images. In this paper, a new image denoising framework based on Curvelet transform and wiener filter is proposed, which can stop nois...
متن کاملThe Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملTimed Mobile Ambients for Network Protocols
Ambient calculus is a calculus for mobile computing able to express local communications inside hierarchical domains. So far the timing properties have not been considered in the framework of mobile ambients. We add timers to capabilities and ambients, and provide an operational semantics of the new calculus. Certain results are related to the passage of time, and some new behavioural equivalen...
متن کامل